Experimental feature --guardedness-preserving-type-constructors has
been removed.
